Fix a nasty bug --- the cleanup production was nuking the generated

tar file!

diff --git a/make-dist b/make-dist
index 81cd817b376e26b355455911a6eebf9a3c484633..c09d7306b049b12dd91dedd14d6aa53d6be97836 100755 (executable)
--- a/make-dist
+++ b/make-dist
@@ -286,7 +286,7 @@ fi
 
 if [ "${clean_up}" = yes ]; then
   echo "Cleaning up the staging directory."
-  rm -rf ${tempparent}
+  rm -rf ${tempdir}
 fi
 
 ### make-dist ends here